Microsoft Mathematics - PDFSEARCH.IO - Document Search Engine

Microsoft Mathematics
Results: 4205

#	Item
491	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic
492	Microsoft WordExtension 2 Solution.docx Add to Reading List Source URL: www.hsccoaching.com Language: English - Date: 2011-10-26 04:06:29 Logarithms Analytic functions Ordinary differential equations Integral calculus Natural logarithm Trigonometric functions Differential equation Linear differential equation Integration by parts Mathematical analysis Mathematics Calculus
493	Microsoft PowerPoint - ReserachComputerScience.ppt [Compatibility Mode] Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2015-03-10 11:49:14 Research methods Theoretical computer science Design science Engineering design Research Formal language Information systems Formalism Programming language Science Logic Mathematics
494	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-18 12:19:38 Operations research Linear algebra Axiom Algorithm Function Euclidean geometry Logic programming Mathematical optimization Vector space Mathematics Algebra Mathematical logic
495	Microsoft Word - R Reference Card 2.0.doc Add to Reading List Source URL: cran.cardse.net Language: English Elementary mathematics Functions and mappings Linear algebra Analytic geometry Function Normal distribution Vector space Conditioning Inverse function Mathematics Mathematical analysis Algebra
496	Microsoft Word - vrp_applform-3.doc Add to Reading List Source URL: law.nus.edu.sg Language: English - Date: 2015-02-16 19:55:54 Tanglin Academia Higher education Education NUS High School of Mathematics and Science Association of Commonwealth Universities National University of Singapore Queenstown Singapore
497	Microsoft Word - Special_Session-forSSCI Add to Reading List Source URL: www.ntu.edu.sg Language: English - Date: 2012-09-24 04:22:13 Global optimization Biology Swarm intelligence Ant colony optimization algorithms Applied mathematics Firefly algorithm Computational intelligence Swarm behaviour Roorkee Mathematical optimization Collective intelligence Artificial intelligence
498	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
499	Microsoft PowerPoint - SpectralRegression_Tutorial.ppt Add to Reading List Source URL: www.siam.org Language: English - Date: 2009-03-20 13:25:17 Singular value decomposition Matrix theory Multivariate statistics Data analysis Principal component analysis Eigenvalues and eigenvectors Dimension reduction Eigenface Covariance matrix Algebra Linear algebra Mathematics
500	Microsoft Word - TheRGuide2.5.doc Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2010-08-13 02:33:00 Logarithms Exponentials Functional languages Functions and mappings Analytic functions Natural logarithm Matrix R Exponentiation Mathematics Special functions Mathematical analysis

UPDATE